…to a more precise ignorable operation analysis. Ignorable operations that flow to a possible source also invalidate that source. Also added a root source finder to get the earliest source if many exist. Modified the leap year checker finder to use a new dataflow mechanic that flows from a YearFieldAccess.

…eaks.

… constant being a literal, but a known value variable or literal.

…alue

… ignore certain opeartions. Also added an ignorable function class to be used to ignore operation sources.

…ure they are actually necessary or providing much utility.

…iewing the unit tests and conversations about how to handle some of the fp/fn cases observed. Updated the unit tests to use InlineExpectationsTestQuery.ql so it is easier to detect FP/FNs.

…eds to be generally reassessed but recent test changes alter the expected results.

… year, similar to what was done for month.

…anup. Updated expected file.

…a new false positive scenario currently unaccounted for in a new test case.

…se positive we currently do not have a solution for, marked as SPURIOUS.

…ore realistic.

… for handing mktime and other variants that convert the time automatically without the need for a check if the date is an incorrect leap year date.

…ification.ql

Co-authored-by: Josh Brown <jb1@microsoft.com>

…ification.ql

Co-authored-by: Josh Brown <jb1@microsoft.com>

…lag this case.

…into jb1/ap1-maturity